اثبات جدیدی از قضیه مورلی
نویسنده
چکیده مقاله:
قضیه مورلی حاکی است که نقاط برخورد خطوط مجاور اضلاع تثلیث کننده سه زاویه داخلی هر مثلث تشکیل یک مثلث متساوی الاضلاع می دهند. این مساله ابتدا در سال 1899 توسط فرانک مورلی مطرح گردید و تاکنون اثباتهای متعددی برای آن ارائه شده است. در این مقاله راه حل زیبایی که توسط آلن کن برنده مدال فیلدز در سال1998 ارائه شده است، تشریح می گردد.
منابع مشابه
درباره اثبات وایلز از قضیه آخر فرما
قضیه ی آخر فرما بیان می دارد که معادله ی x?+y?=z?, برای 3?n دارای جواب صحیح (xyz?0) نمی باشد. فرما (pierre de fermat) در حوالی سال 1637ادعا کرد که اثباتی جالب برای این قضیه ارائه کرده است که در حاشیه ی کتاب نمی گنجد. البته تنها اثبات کامل ریاضی که از او در دسترس است حل این معادله برای حالت 4=n می باشد که وی در آن از ایده ی نزول نامتناهی (infinite descent ) که هم اکنون نیز یکی از ابزارهای قوی ...
15 صفحه اولاثبات جدیدی از اتحاد دی بروئین در کانال‌های نوفه تجمعی نرمال با مؤلفه‌های مستقل
کانال‌های نوفه تجمعی از جمله مهمترین کانال‌های مخابراتی هستند که در مسائل پردازش سیگنال‌ها بسیار بدان‌ها توجه شده است. سیگنال دریافتی (متغیر تصادفی 15Y"> ) در این کانال‌ها به صورت مجموع یک سیگنال ارسال شده از مبدأ (متغیر تصادفی 15X"> ) و نوفه تحمیل شده بر آن (متغیر تصادفی 15Z"> ) است. یکی از مسائلی که دربارۀ سیگنال دریافتی مطرح است، آنتروپی متغیر تصادفی 15 Y"> است. در صورتی که متغیر تصادفی 15...
متن کاملاثبات قضیه بازتابی بروون - چورو
در این پایان نامه اثبات کاملی از قضیه بازتابی پروون - چورو ارائه می شود.
15 صفحه اولمروری بر اثبات های مختلف از قضیه بورسوک-اولام
قضیه بورسوک -اولام به دلیل داشتن اثبات های مختلف، کاربردهای جالب و متنوع و قضیه های هم ارز با آن یکی از مهمترین ابزار توپولوژی جبری است که در کلی ترین فرم خود می گوید که هر تابع پیوسته $f:mathbb{s}^nlongrightarrowmathbb{r}^n$ لااقل دو نقطه متقاطر را به یک مقدار می نگارد. و در حالت پیشرفته تر آن بیان می کند هر نگاشت فرد از $mathbb{s}^{n-1}longrightarrow mathbb{s}^{n-1}$ درجه فرد دار...
15 صفحه اولاثبات قضیه در منطق های زمانی به کمک رایانه و کاربر
هدف این مقاله توصیفی، آشناکردن علاقه مندان با نمونه هایی از تلاش هایی است که در جهت استفاده از سیستم های منطقی برای ماشینی سازی اثبات در دست انجام است. اهداف این مقاله عبارتند از (1) ارائه الگوریتیم که با استفاده از ایده کاربر و ادامه روند اثبات توسط رایانه، اثباتی در سیستم گنسنی ارائه دهد. (2) ارائه الگوریتمی که با استفاده از ایده کاربر و ادامه اثبات با رایانه، اثباتی متنی در سیستم استنتاج طبی...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
عنوان ژورنال
دوره 27 شماره شماره 41
صفحات 43- 52
تاریخ انتشار 2009-02-19
با دنبال کردن یک ژورنال هنگامی که شماره جدید این ژورنال منتشر می شود به شما از طریق ایمیل اطلاع داده می شود.
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023